$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. 0 $\leq$ ($a$ $\div$ $n$)